| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Compiler Construction | Compilerbau | Fach-/Modulprüfung | 6 | 582126 | ||
| Computability and Complexity | Berechenbarkeit und Komplexität (neu, WS) | Fach-/Modulprüfung | 6 | 581770 | ||
| Berechenbarkeit und Komplexität - Übung | Tutorium | 578697 | Do 08:30-10:00 SE 108 (1580|108) (×15) Do 08:30-10:00 Z2 (1420|303) (×15) Do 10:30-12:00 P1 (3210|108) (×3) Do 10:30-12:00 P3 (3210|121) (×2) Do 10:30-12:00 P4 (3210|142) (×3) Do 10:30-12:00 Z2 (1420|303) (×15) Do 10:30-12:00 Z4 (1420|301) (×15) Do 10:30-12:15 P2 (3210|120) (×2) Do 10:30-12:15 P3 (3210|121) (×1) Do 18:30-20:00 5052 (2356|052) (×15) Do 18:30-20:00 Be 114 (1140|114) (×14) Do 18:30-20:00 HKW 3 (1132|504) (×1) Do 18:30-20:00 SE 001 (1580|001) (×15) Do 18:30-20:00 SE 101 (1580|101) (×15) Fr 08:30-10:00 5052 (2356|052) (×15) Fr 08:30-10:00 5054 (2356|054) (×15) Fr 08:30-10:00 5056 (2356|056) (×15) Fr 08:30-10:00 Z2 (1420|303) (×15) Fr 14:30-16:00 5055 (2356|055) (×15) Fr 14:30-16:00 P1 (3210|108) (×3) Fr 14:30-16:00 P3 (3210|121) (×3) Fr 14:30-16:00 P4 (3210|142) (×3) Fr 14:30-16:00 Z4 (1420|301) (×15) Fr 14:30-16:15 P2 (3210|120) (×3) Fr 16:30-18:00 001 (1830|001) (×15) Fr 16:30-18:00 5052 (2356|052) (×15) Fr 16:30-18:00 5054 (2356|054) (×15) Fr 16:30-18:00 5056 (2356|056) (×15) Fr 16:30-18:00 R 220 (1080|220) (×15) Fr 18:30-20:00 HKW 3 (1132|504) (×15) Fr 18:30-20:00 Z2 (1420|303) (×15) Fr 18:30-20:00 Z4 (1420|301) (×15) | |||
| Berechenbarkeit und Komplexität | Vorlesung | 578847 | Mo 16:30-18:00 Grüner Hörsaal AM (Gr) (1420|001) (×15) Mo 16:30-18:00 Roter Hörsaal AM (Ro) (1420|002) (×15) Di 08:30-10:00 TEMP1 (1515|001) (×15) Fr 18:00-20:00 Großer Hörsaal AM (1420|210) (×1) Fr 18:00-20:00 Grüner Hörsaal AM (Gr) (1420|001) (×1) Fr 18:00-20:00 H02 (1385|102) (×1) Fr 18:00-20:00 Knorr-Bremse-Hörsaal (H04) (1385|103) (×1) Fr 18:00-20:00 Otto Fuchs-Hörsaal (H03) (1385|003) (×1) Fr 18:00-20:00 Roter Hörsaal AM (Ro) (1420|002) (×1) | |||
| Efficient Algorithms | Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 581823 | ||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 585086 | ||
| Introduction to Model Checking | Übung | 577398 | Fr 12:30-14:00 AH I (2350|028) (×15) | |||
| Introduction to Model Checking | Vorlesung | 578334 | Mi 14:30-16:00 AH I (2350|028) (×15) Do 16:30-18:00 AH I (2350|028) (×15) |